Type systems - PDFSEARCH.IO - Document Search Engine

Type systems
Results: 2329

#	Item
551	Converting MiniZinc to FlatZinc Version 1.2 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-11-11 04:11:19 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
552	Converting MiniZinc to FlatZinc Nicholas Nethercote Version 0.9 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-12-23 00:30:53 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
553	Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-eﬀective form of lightweight program veriﬁcation. They provide Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-08-01 09:01:37 Type theory Functional programming Data types Functional languages International Conference on Functional Programming POPLmark challenge Principles of Programming Languages SIGPLAN Haskell Software engineering Computing Programming language theory
554	Getting Dynamic with ColdFusion Sean Corfield Chief Systems Architect & VP Engineering Broadchoice, Inc. 4th-6th June 2008 Add to Reading List Source URL: corfield.org Language: English - Date: 2010-04-11 03:30:19 Scripting languages ColdFusion JRuby Ruby Data type Java Groovy Boolean data type Duck typing Computing Software engineering Computer programming
555	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
556	Heresy! Embracing Duck Typing in CFCs Sean Corfield Sr Computer Scientist Adobe Systems, Inc. Add to Reading List Source URL: corfield.org Language: English - Date: 2010-04-11 03:30:09 Adobe software ColdFusion Web development software Type system Adobe Systems ColdFusion Markup Language Computing Programming language theory Software
557	Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Type systems Procedural programming languages Theoretical computer science Type inference Monad ML Hindley–Milner Software engineering Computing Programming language theory
558	BUREAU INTERNATIONAL DES POIDS ET MESURES IMPORTANT ADVICE FOR PARTICIPANTS IN THE SIR 1. Filling of ampoules For solutions only: Use exclusively NBS-type ampoules supplied by the BIPM. Filling: Add to Reading List Source URL: www.bipm.org Language: English - Date: 2013-10-15 05:12:44 International Bureau of Weights and Measures Systems of units Ampoule International System of Units Becquerel Sèvres Honey badger Measurement International relations Pavillon de Breteuil
559	Converting MiniZinc to FlatZinc Version 1.4 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-11-11 00:02:58 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
560	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory

UPDATE